This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
Lire la suiteThe book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Lire la suiteThe aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Lire la suiteThe 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...
Lire la suiteThis book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
Lire la suiteThis book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
Lire la suiteThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suiteThis book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Lire la suiteThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lire la suiteThe 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Lire la suite